corollary of bpt theorem